package edu.uj.petri.model;

/**
 * saves number of tokens in each place in ObjectModel.
 * @author Piotrek
 */
class ObjectModelMarking extends Marking {
    
    Place[] places;
    
    int[] tokens;

    public ObjectModelMarking() {
        //
    }

    public int[] toArray() {
        return tokens.clone();
    }
}
